EXTRA_DIST = \
    bddnotes.ps \
    buddy.ps \
    tech.txt
